Failed to solve the following constraints:
  _B_109 (ψ = ψ) (n = _y_130)
  (b = (×id (λ x₁ → p x₁ .fst) (s₁ , wrap (v s₁)))) x
    = _B_109 (ψ = ψ) (n = n₀)
      (b = (×id (λ x₁ → p x₁ .fst) (s₁ , wrap (v s₁)))) x
    : Set
    (blocked on any(_B_109, _y_130))
  _B_109 (ψ = ψ) (n = _y_130)
  (b = (×id (λ x₁ → p x₁ .fst) (s₁ , w' s₁))) x
    = _B_109 (ψ = ψ) (n = n₀)
      (b = (×id (λ x₁ → p x₁ .fst) (s₁ , w' s₁))) x
    : Set
    (blocked on any(_B_109, _y_130))
  _B_109 (ψ = ψ) (n = n₀) (b = (×id (λ x₁ → p x₁ .fst) (s₁ , w s₁)))
  x = _B_109 (ψ = ψ) (n = _y_130)
      (b = (×id (λ x₁ → p x₁ .fst) (s₁ , w s₁))) x
    : Set
    (blocked on any(_B_109, _y_130))
  _B_109 (ψ = ψ) (n = _y_130)
  (b = (×id (λ x₁ → p x₁ .fst) (s , p s .snd))) x
    = _B_109 (ψ = ψ) (n = n₀)
      (b = (×id (λ x₁ → p x₁ .fst) (s , p s .snd))) x
    : Set
    (blocked on any(_B_109, _y_130))
  _B_109 (ψ = ψ) (n = _y_130) (b = b) x
    = _B_109 (ψ = ψ) (n = n₀) (b = b) x
    : Set
    (blocked on any(_B_109, _y_130))
  _B_109 (ψ = ψ) (n = _x_129)
  (b = (×id (λ x₁ → p x₁ .fst) (s₁ , wrap (v s₁)))) x
    = _B_109 (ψ = ψ) (n = n₀)
      (b = (×id (λ x₁ → p x₁ .fst) (s₁ , wrap (v s₁)))) x
    : Set
    (blocked on any(_B_109, _x_129))
  _B_109 (ψ = ψ) (n = _x_129)
  (b = (×id (λ x₁ → p x₁ .fst) (s₁ , w' s₁))) x
    = _B_109 (ψ = ψ) (n = n₀)
      (b = (×id (λ x₁ → p x₁ .fst) (s₁ , w' s₁))) x
    : Set
    (blocked on any(_B_109, _x_129))
  _B_109 (ψ = ψ) (n = n₀) (b = (×id (λ x₁ → p x₁ .fst) (s₁ , w s₁)))
  x = _B_109 (ψ = ψ) (n = _x_129)
      (b = (×id (λ x₁ → p x₁ .fst) (s₁ , w s₁))) x
    : Set
    (blocked on any(_B_109, _x_129))
  _B_109 (ψ = ψ) (n = _x_129)
  (b = (×id (λ x₁ → p x₁ .fst) (s , p s .snd))) x
    = _B_109 (ψ = ψ) (n = n₀)
      (b = (×id (λ x₁ → p x₁ .fst) (s , p s .snd))) x
    : Set
    (blocked on any(_B_109, _x_129))
  _B_109 (ψ = ψ) (n = _x_129) (b = b) x
    = _B_109 (ψ = ψ) (n = n₀) (b = b) x
    : Set
    (blocked on any(_B_109, _x_129))
Unsolved metas at the following locations:
  Issue3882.agda:72,72-75
  Issue3882.agda:78,19-33
  Issue3882.agda:78,19-34
